S/SL revisited
نویسندگان
چکیده
S/SL is a compiler-writing tool that was designed in the late 70’s at the University of Toronto. For a time, it was actively developed and enhanced within the IBM Toronto Lab. Widespread interest in the tool within IBM disappeared in the late 80’s, and other tools became more prevalent. In 1991, when we began a new COBOL compiler, ILE COBOL/400 [1], we chose to resurrect the S/SL technology, and have used S/SL as the parsing engine for our new compiler. In this paper, we discuss our experience with this technology and why we chose S/SL over other available tools. We present our high-level compiler architecture which, while traditional, is not traditional for S/SL. We gather together a collection of ideas and practices for the use of S/SL, and draw conclusions about the overall quality of this tool.
منابع مشابه
The SL synchronous language, revisited
We revisit the SL synchronous programming model introduced by Boussinot andDe Simone (IEEE, Trans. on Soft. Eng., 1996). We discuss an alternative designof the model including thread spawning and recursive definitions and we exploresome basic properties of the revised model: determinism, reactivity, CPS translationto a tail recursive form, computational expressivity, and a compo...
متن کاملSeidel Signless Laplacian Energy of Graphs
Let $S(G)$ be the Seidel matrix of a graph $G$ of order $n$ and let $D_S(G)=diag(n-1-2d_1, n-1-2d_2,ldots, n-1-2d_n)$ be the diagonal matrix with $d_i$ denoting the degree of a vertex $v_i$ in $G$. The Seidel Laplacian matrix of $G$ is defined as $SL(G)=D_S(G)-S(G)$ and the Seidel signless Laplacian matrix as $SL^+(G)=D_S(G)+S(G)$. The Seidel signless Laplacian energy $E_{SL^+...
متن کاملIIB seven–branes revisited
We re–investigate the construction of half–supersymmetric seven–brane solutions of IIB supergavity. In contrast to previous approaches we allow the occurrence of objects with monodromy Tr Λ 6= 2. We obtain non-trivial information from the requirement of a globally well–defined Killing spinor and by including SL(2,Z)–invariant source terms.
متن کاملLattice Actions on the Plane Revisited
We study the action of a lattice Γ in the group G = SL(2,R) on the plane. We obtain a formula which simultaneously describes visits of an orbit Γu to either a fixed ball, or an expanding or contracting family of annuli. We also discuss the ‘shrinking target problem’. Our results are valid for an explicitly described set of initial points: all u ∈ R in the case of a cocompact lattice, and all u ...
متن کاملModularity of the Rankin-selberg L-series, and Multiplicity One for Sl(2)
Relevant objects and the strategy 9 3.2. Weak to strong lifting, and the cuspidality criterion 13 3.3. Triple product L-functions: local factors and holomorphy 15 3.4. Boundedness in vertical strips 18 3.5. Modularity in the good case 30 3.6. A descent criterion 32 3.7. Modularity in the general case 35 4. Applications 37 4.1. A multiplicity one theorem for SL(2) 37 4.2. Some new functional equ...
متن کامل